00100	Paradigmatic behavior - after Narasimhan
00200	
00300		The  paradigmatic  behavior system attempts to model everyday
00400	non creative thinking.   The idea is that no general  assertions  are
00500	created either by deduction or induction.  Only particular assertions
00600	without variables are created.  General assertions are present in the
00700	form  of  rules  and when combined with particular assertions already
00800	present or arising from  observation  give  rise  to  new  particular
00900	assertions some of which cause action.  This is related to some ideas
01000	of Narasimhan, but at the moment I can't find the reference.
01100	
01200	1. A situation gives  rise  to  a  list  of  expressions  called  its
01300	description.   These   may  be  regarded  as  predicates  applied  to
01400	constants.  The constants are quoted S-expressions and may  refer  to
01500	other entities (e.g. pictures) by referring to them on their property
01600	lists.
01700	
01800	2.  A list of rules  is  checked  against  the  description  and  all
01900	applicable rule instances are determined.
02000	
02100		There  may  be several kinds of rule, but the main kind is as
02200	follows:
02300	
02400		A simple rule has one or more arguments.  An argument  is  an
02500	expression  that  includes  variables,  i.e.    the  application of a
02600	predicate to variables.   Besides  this,  there  is  a  propositional
02700	expression  in these variables called the premiss.   An instance is a
02800	correspondence between the arguments of the rule and  a  sequence  of
02900	expressions   from  the  description  such  that  the  variables  are
03000	consistently matched and the premiss is satisfied by the values  thus
03100	assigned to the variables. Further expressions give the actions to be
03200	taken as functions of the values of the variables.
03300	
03400		The result of a  rule  may  be  to  add  expressions  to  the
03500	description  or  perhaps  to  the description at the next tick of the
03600	clock.
03700